Substitution model - PDFSEARCH.IO - Document Search Engine

Substitution model
Results: 273

#	Item
51	Delphin: Functional Programming with Deductive Systems Richard Fontana Department of Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-03-22 10:21:52 Logic Declarative programming Software engineering Symbol Standard ML Substitution Model theory
52	December 15, :43 WSPC - Proceedings Trim Size: 9.75in x 6.5in Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2008-12-14 21:44:40 Bioinformatics Computational phylogenetics Molecular biology Genetics Gene expression Substitution model Models of DNA evolution Genetic code Sequence alignment Synonymous substitution Nonsynonymous substitution Mutation
53	Relational decomposition Lennart Beringer ?? Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2011-05-25 12:08:33 Model theory Mathematical logic Interpretation Philosophy of mind Semantics Relational algebra Structure operator Substitution
54	Rewriting Guarded Negation Queries Vince B´ar´any? , Michael Benedikt, and Balder ten Cate ?? 2 1 LogicBlox Inc., Atlanta, GA Department of Computer Science, University of Oxford Add to Reading List Source URL: developer.logicblox.com Language: English - Date: 2013-10-18 17:50:36 Logic Abstraction Mathematics Model theory Mathematical logic Craig interpolation First-order logic Conjunctive query Beth definability Substitution Interpretation Structure
55	Relational program logics in decomposed style Lennart Beringer ∗ Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-08-09 16:46:30 Model theory Formal languages Mathematical logic Structure Universal algebra Interpretation Relational algebra Substitution
56	Automating Leibniz’s Theory of Concepts Automating Leibniz’s Theory of Concepts∗ Jesse Alama Vienna University of Technology Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2015-07-25 19:15:29 Logic Philosophy Mathematics Category theory Model theory Functions and mappings Universal property Saul Kripke First-order logic Sheaf Function Substitution
57	A Case for Behavior-Preserving Actions in Separation Logic David Costanzo and Zhong Shao Yale University Abstract. Separation Logic is a widely-used tool that allows for local Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2015-11-04 16:38:45 Model theory Logic in computer science Separation logic Substructural logic Structure Elementary class Substitution
58	ELWG – E QUILIBRIUM L OGIC W ORKING G ROUP A R EVISED C ONCEPT OF S AFETY FOR G ENERAL A NSWER S ET P ROGRAMS Add to Reading List Source URL: www.ia.urjc.es Language: English - Date: 2009-10-08 06:22:48 Logic Model theory Mathematical logic Abstraction Symbol Interpretation First-order logic Structure Normal distribution Substitution
59	Logic Programming in Tabular Allegories∗ Emilio Jesús Gallego Arias1 and James B. Lipton2 1 2 Universidad Politécnica de Madrid Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-07-27 05:34:26 Model theory Mathematical logic Automated theorem proving Logic programming Logic in computer science Allegory Pullback Substitution Structure Unification Kripke semantics Interpretation
60	Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:57 Logic Mathematical logic Model theory Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol First-order logic Linear temporal logic FO

UPDATE